#!/bin/sh
MAUDE="maude"
which $MAUDE 1>/dev/null 2>/dev/null
if [[ $? -ne 0 ]]; then
  echo "set MAUDE to the correct path of the maude executable in makeK on line 2"
  exit 1;
fi
echo "q" | $MAUDE -no-banner -batch >/dev/null
RUNNER=`which $0`
KBASE=`dirname $RUNNER`
FILE=${1/.*/}
REVFILE=`echo $FILE | rev`
LANG=`echo ${REVFILE#*-} | rev`
SERVICE=${FILE/*-/} 
FCSERVICE=`echo "${SERVICE:0:1}" |tr a-z A-Z`
CSERVICE="$FCSERVICE${SERVICE:1}"
MODULE=`echo $LANG | tr a-z A-Z`
KFILE=`echo $LANG-k-$SERVICE.maude`
#| tr A-Z a-z`
echo "load $FILE" >$KFILE
echo -e "load $KBASE/make-k \n(makeK$CSERVICE $MODULE .)" | $MAUDE -no-banner -interactive $FILE 2>/dev/null | grep -v -e '^Maude' >>$KFILE

